Nuprl Lemma : int_pi_detach
13,42
postcript
pdf
i
:
.
-rng-Detach((
i
)
-rng)
latex
Up
rings
1
origin
i:
. -rng-Detach((i)-rng) i:. -rng-Detach((i)-rng)